Formale Modellierung und Analyse protokollbasierter Angriffe in TCP/IP Netzwerken am Beispiel von ARP und RIP

نویسندگان

  • Gerrit Rothmaier
  • Heiko Krumm
چکیده

Formale Modellierung und Analyse von netzwerkbasierten Angriffen ermöglichen zwar ein tieferes Verständnis von Angriffsfolgen, sind aber meist so komplex, dass die Modellierung sehr aufwändig und eine Analyse mit automatischen Werkzeugen aufgrund der Größe des Zustandsraumes unmöglich ist. Wir stellen einen Ansatz vor, der Modelle für praxisrelevante Angriffe und Szenarien mit vertretbarem Aufwand zu behandeln vermag. Dieser Ansatz kombiniert cTLA, ein Modellierungsframework und Optimierungsstrategien mit dem mächtigen Modelchecker SPIN. Beispiele zu ARP und RIP zeigen die Anwendbarkeit auf.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Verwaltung universitärer Assessment-Szenarien am Beispiel von Informatik-Vorlesungen

Leistungskontrollen spielen eine zentrale Rolle in universitären Lehrveranstaltungen. Verschiedene Assessment-Aktivitäten werden zu AssessmentSzenarien kombiniert, um Studierende zu aktivem, kontinuierlichem Lernen zu motivieren und ihre Leistungsstände zu überprüfen. Dieser Beitrag stellt Varianten solcher Szenarien am Beispiel ausgewählter Informatik-Vorlesungen vor. Das Ziel ist, den Bedarf ...

متن کامل

Produktqualität und Reputation in sozialen Netzwerken - virales Marketing in einem agentenbasierten Modell am Beispiel Wein

Virales Marketing findet gegenwärtig verstärkt durch die neuen Medien und virtuelle soziale Netzwerke statt. Dabei steht weniger das Produkt im Vordergrund als eher der Unterhaltungswert der Werbespots. Das gewollte Kopieren und Weitergeben dieser Spots ist dabei das zentrale Element für die virale Ausbreitung der Werbebotschaft. Agenten-basierte Modellierung und soziale Netzwerkanalyse können ...

متن کامل

Modellierung und Modellanalyse in der Systembiologie am Beispiel der Kohlenhydrataufnahme bei Escherichia coli (Modeling in Systems Biology)

In der Systembiologie gewinnt die Entwicklung und Analyse von mathematischen Modellen immer mehr an Bedeutung. Die Erfolge bei der messtechnischen Erfassung der Genexpression und bei Metaboliten führen zu einer großen Fülle von Informationen über biologische Phänomene und erlauben es sehr detaillierte Modelle zur Beschreibung von Stoffwechsel, Signaltransduktion und Genexpression aufzustellen. ...

متن کامل

Kognitive Modellierung in dynamischen Mensch-Maschine-Systemen

Im Workshop „Kognitive Modellierung in dynamischen Mensch-MaschineSystemen“ wurde ein Einblick in die kognitive Modellbildung in dynamischen Aufgabenumgebungen gegeben. Der Workshop fand im Rahmen der jährlichen Frühjahrsschule des Zentrums-Mensch-Maschine-Systeme (ZMMS) der Technischen Universität Berlin statt. Im ersten, theoretischen Teil lag der Fokus auf der Vermittlung eines Grundverständ...

متن کامل

Analyse informeller Kommunikationsnetzwerke am Beispiel einer Fallstudie

Die Steigerung der Produktivität von Wissensarbeitern gewinnt an Bedeutung. Es mangelt jedoch an (teil-)automatischen, IT-gestützten Erhebungs-und Auswertungsverfahren, die Einsichten in die Prozesse und die Strukturen von unternehmensinternen Kommunikations-netzwerken und mithin in die Tätigkeit von Wissensarbeitern gewähren. Der Beitrag präsentiert prototypisch ein IT-gestütztes Instrument ("...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2005